This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
WeiterlesenUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
WeiterlesenIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
WeiterlesenIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
WeiterlesenThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
WeiterlesenThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
WeiterlesenThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
WeiterlesenThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
WeiterlesenETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
WeiterlesenConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
WeiterlesenThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
WeiterlesenThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
WeiterlesenIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
WeiterlesenThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Weiterlesen